int_0^\infty (\frac{sin x - x cos x}{x^3})^2\,dx